Symbolic model checking

英 美
  • 符号模型检测
  • checking n.校核；检验；核算；验算动词check的现在分词形式.
  • model n.模范；模特儿；模型adj.模范的；作模型用的v.做模型；模仿；塑造
  • symbolic adj.象征的；符号的n.代号

相关词汇

symbolic symbolic range
展开全文

大家正在查

sympathesis是什么意思 Symphurinae是什么意思 Symapthetic是什么意思 symetallism是什么意思 Symbranchir是什么意思 symphyllode是什么意思 sympathogone是什么意思 symphysio-是什么意思 symmetricflows是什么意思 symmetricalametropia是什么意思